аксиома замены

См. также в других словарях:

• ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… …   Философская энциклопедия

• ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

• ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• Специальная теория относительности — Почтовая марка с формулой E = mc2, посвящённая Альберту Эйнштейну, одному из создателей СТО. Специальная теор …   Википедия

• Либертарный волюнтаризм — Не следует путать с волюнтаризмом  направлением в философии, признающим волю первоосновой всего сущего. Часть либертарианской философии Либертарианство …   Википедия

• Судьба Т-64 —        Судьба Т 64 во всех его модификациях представляется мне весьма драматичной. Наверное это справедливо для всех “первопроходцев”. В нашей стране (тут я не разделяю СССР и современную Россию) в деле оснащения Вооруженных Сил БТТ существовал и …   Энциклопедия техники

• Остазия (1984) — Политическая карта мира в романе «1984». Территории, контролируемые Остазией отмечены на карте салатовым цветом …   Википедия

• Фондовый индекс Доу Джонс — (Dow Jones) Определение индекса Доу Джонса, история возникновения, динамика индекса Информация об определении индекса Доу Джонса, история возникновения, динамика индекса Содержание Содержание Что такое Джонса Доу Джонса Транспортный индекс Доу… …   Энциклопедия инвестора

• Формальная арифметика —         формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …   Большая советская энциклопедия